Nov. branch merge. Various features backported from stable, various bug fixes.

[lhc/web/wiklou.git] / stylesheets / wikibits.js

diff --git a/stylesheets/wikibits.js b/stylesheets/wikibits.js
index 2d22bf3..efcd746 100644 (file)
--- a/stylesheets/wikibits.js
+++ b/stylesheets/wikibits.js
@@ -74,7 +74,7 @@ function toggleToc() {
        }
 }
 
-
+/* CHECK MERGE @@@ */
 /* Temporary hack for Mozilla bug; revert to quirks mode handling of <hr> */
 if(navigator.userAgent &&
    navigator.userAgent.indexOf('Gecko') != -1 &&